Definable Operations on Sets and Elimination of Imaginaries
نویسندگان
چکیده
This paper gives a new and constructive proof of Poizat's theorem that the theory of algebraically closed fields admits elimination of imaginaries. The proof uses ideas of definability for properties and operations on definable sets. In addition, the property of being finite in an algebrically closed field, as well as the property of having a given algebraic dimension are shown to be definable properties.
منابع مشابه
Definable sets in algebraically closed valued fields: elimination of imaginaries
It is shown that if K is an algebraically closed valued field with valuation ring R, then Th(K) has elimination of imaginaries if sorts are added whose elements are certain cosets in K of certain definable R-submodules of K (for all n ≥ 1). The proof involves the development of a theory of independence for unary types, which play the role of 1-types, followed by an analysis of germs of definabl...
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملA pathological o-minimal quotient
We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an o-minimal structure M whose elementary diagram does not eliminate imaginaries. We also give a positive answer to a related question, showing that any imaginary in a...
متن کاملCategories of imaginaries for definable additive categories
An additive category is definable if it is equivalent to a definable subcategory of a module category Mod-R, meaning a full subcategory which is closed under direct products, direct limits (= directed colimits) and pure subobjects. Such a category D has associated to it a canonical model theory for its objects in the sense that each object D ∈ D becomes a structure for the associated language; ...
متن کاملTopologizing interpretable sets in O-minimal Structures
Let M be a structure in some language. Assume M has elimination of imaginaries. Let X be a definable set. Definable will mean “definable with parameters.” By a definable topology, we mean a definable family of subsets {By ⊂ X}y∈Y which form the basis for some topology on X. The fact that these form a basis for a topology amounts to the claim that if y1, y2 have By1 ∩By2 6= ∅, then for every x ∈...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010